Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
231	Cologne: A Declarative Distributed Constraint Optimization Platform Changbin Liu∗ ∗ University Lu Ren∗ Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:31 Constraint programming Operations research Mathematical optimization Numerical software Mathematical modeling Datalog Prolog Constraint optimization Solver Software engineering Computer programming Computing
232	Beyond Script Management David Aspinall School of Informatics University of Edinburgh CIAO 2007 · [removed] Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2010-10-04 11:26:58 Declarative programming Functional programming Aspinall Coq Software
233	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
234	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
235	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
236	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)? Oleg Kiselyov1 , William E. Byrd2 , Daniel P. Friedman2 , and Chung-chieh Shan3 1 Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:44 Functions and mappings Function Prolog Constraint logic programming Unification Multiplication FO Constructible universe Mathematics Mathematical logic Logic programming
237	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory
238	Chapter 1 Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Declarative programming languages can play an important role in the process of designing and implementing parallel systems. They bridge the g Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-04-14 04:42:28 Functional languages Procedural programming languages Models of computation Literate programming Haskell Parallel computing Lambda calculus Evaluation strategy Closure Software engineering Computing Computer programming
239	VPL: An Active, Declarative Visual Programming System David Lau-Kee, Adam Billyard, Robin Faichney, Yasuo Kozato, Paul Otto, Mark Smith, Ian Wilkinson Canon Research Europe, Surrey Research Park, Guildford, GU2 5YD, UK. Add to Reading List Source URL: camazotz.com Language: English - Date: 2012-12-20 12:36:55 Dataflow Programming paradigm LabVIEW Oz Visualization User interface Database Computing Software engineering Visual programming languages
240	Actes JFPC[removed]Improving Constraint Modelling Using Visualization Helmut Simonis Cork Constraint Computation Centre Add to Reading List Source URL: jfpc2010.greyc.fr Language: English - Date: 2011-05-09 04:10:16 Computer programming Constraint logic programming ECLiPSe Constraint Constraint satisfaction Constraint programming Declarative programming Software engineering

UPDATE